More from this Author

Mathematics of Program Construction

by Bernhard Moller (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)